$\forall$$a$, $b$, $c$, $d$:$\mathbb{Q}$. ($b$ $\geq$ $a$) $\Rightarrow$ $c$ $\leq$ $d$ $\Rightarrow$ \{$b$ $\leq$ $c$ $\Rightarrow$ $a$ $\leq$ $d$\}